OpenAI Says AI Solved the Navier–Stokes Millennium Problem: What the Proof Means for Mathematics
Posted on 11th Sep 2026 06:05:38 in Artificial Intelligence, Machine Learning
Tagged as: AI, OpenAI, Mathematics, Navier-Stokes, Machine Learning
OpenAI's AI system claims to have solved the Navier-Stokes existence and smoothness problem, a 90-year-old Millennium Prize puzzle in fluid dynamics, using 10,000 coordinating AI agents and a Lean-verified proof.
Anthropic's Claude Formalizes Fermat's Last Theorem: The First Machine-Checked Proof in 11 Days
Posted on 6th Sep 2026 07:38:59 in Artificial Intelligence, Machine Learning
Tagged as: AI, Anthropic, Claude, Fermat, Lean, mathematics, formal verification
Working largely autonomously, Claude produced the first end-to-end, computer-checked proof of Fermat's Last Theorem — 13 million lines of Lean, 29,500 theorems, and a 350-year-old story of certainty.